Your AI agents make decisions they can't explain. FlowScript makes those decisions queryable.
Drop-in adapters for 9 agent frameworks. Plain text in, typed reasoning queries out.
Hash-chained audit trail. Structural compliance. MIT licensed.
from openai import OpenAI
from flowscript_agents import UnifiedMemory
from flowscript_agents.embeddings import OpenAIEmbeddings
client = OpenAI()
llm = lambda prompt: (client.chat.completions.create(
model="gpt-4o-mini", messages=[{"role": "user", "content": prompt}]
).choices[0].message.content or "")
with UnifiedMemory("agent-memory.json", embedder=OpenAIEmbeddings(), llm=llm) as mem:
mem.add("Redis gives sub-ms reads which is critical for our UX requirements")
mem.add("Redis clustering costs $200/month which exceeds our infrastructure budget of $50/month")
mem.add("PostgreSQL gives us rich queries at $15/month but read latency is 10-50ms")
tensions = mem.memory.query.tensions()
# → The LLM detected the $200/month vs $50/month contradiction
# → and preserved both sides as a queryable tension — not a deletion
# Pick any node to trace its reasoning:
first_node = mem.memory.nodes[0]
why = mem.memory.query.why(first_node.id)
# → Full causal chain backward from any decision
blocked = mem.memory.query.blocked()
# → What's stuck + downstream impactFive queries that no vector store can answer — why(), tensions(), blocked(), alternatives(), whatIf() — over a typed reasoning graph. Drop-in adapters for 9 agent frameworks. Hash-chained audit trail. And when memories contradict, we don't delete — we create a queryable tension.
Every agent framework gives AI agents memory. None of them make that memory queryable.
Vector stores retrieve content that looks similar. That's useful, but it's not reasoning. When an auditor asks "why did your agent deny that claim?" or a developer asks "what breaks if we change this decision?" — similarity search returns a guess. FlowScript returns the actual typed reasoning chain.
This is the gap researchers call "strategic blindness" — memory that tracks content without tracking reasoning. FlowScript sits above your memory store, not instead of it. Mem0, LangGraph checkpointers, Google Memory Bank — they remember what your agent stored. FlowScript remembers why it decided, what it traded off, and what breaks if you change your mind.
pip install flowscript-agents openaiThe openai package is required for extraction, consolidation, and vector search. Without it, add_memory stores raw text and query_tensions won't find anything.
Add to your editor's MCP config:
Claude Code — add to .claude/settings.json in your project (or ~/.claude/settings.json for global):
{
"mcpServers": {
"flowscript": {
"command": "flowscript-mcp",
"args": ["--memory", "./project-memory.json"],
"env": {
"OPENAI_API_KEY": "your-key"
}
}
}
}Cursor / Windsurf / VS Code — add to .mcp.json in your project root:
{
"mcpServers": {
"flowscript": {
"type": "stdio",
"command": "flowscript-mcp",
"args": ["--memory", "./project-memory.json"],
"env": {
"OPENAI_API_KEY": "your-key"
}
}
}
}Fallback: If env passthrough doesn't work in your editor, export the key in your shell before launching:
export OPENAI_API_KEY=your-keyThe server auto-detects your API key and configures the full stack:
| Key | What you get |
|---|---|
OPENAI_API_KEY |
Vector search (text-embedding-3-small) + typed extraction (gpt-4o-mini) + consolidation |
ANTHROPIC_API_KEY |
Typed extraction + consolidation (no embeddings, keyword search fallback) |
| Neither | Raw text storage only. Tools work, but no typed extraction and query_tensions won't find anything. |
Without an API key, you get a degraded experience. The server warns on startup and in tool responses.
The default is OpenAI text-embedding-3-small. To use a different provider, pass flags in args:
"args": ["--memory", "./project-memory.json", "--embedder", "ollama", "--embedding-model", "nomic-embed-text"]| Flag | What it does | Default |
|---|---|---|
--embedder |
Embedding provider: openai, sentence-transformers, or ollama |
Auto-detected from API key |
--embedding-model |
Model name (provider-specific) | text-embedding-3-small (OpenAI) |
--llm-model |
LLM for extraction and consolidation | gpt-4o-mini |
--no-auto |
Disable auto-configuration from API keys | Off |
Local embeddings (free, no API key for embeddings):
| Provider | Install | Example model | Notes |
|---|---|---|---|
| Ollama | Install Ollama, then ollama pull nomic-embed-text |
nomic-embed-text |
Beats text-embedding-3-small. 274MB. |
| SentenceTransformers | pip install sentence-transformers |
BAAI/bge-m3 |
Runs on CPU. Downloads on first use. |
You still need an LLM API key (OPENAI_API_KEY or ANTHROPIC_API_KEY) for typed extraction and consolidation, even when using local embeddings.
Using Anthropic instead of OpenAI:
With ANTHROPIC_API_KEY set, the server auto-configures extraction and consolidation using Claude Haiku. No vector search (Anthropic has no embedding API), but keyword + temporal search works well. To use a different Anthropic model:
"args": ["--memory", "./project-memory.json", "--llm-model", "claude-sonnet-4-6"]Then add the CLAUDE.md snippet to your project. This is what turns tools into a workflow. It tells your agent when to record decisions, surface tensions before new choices, and check blockers at session start. Without it, the tools are available but passive. With it, your agent proactively tracks your project's reasoning.
pip install flowscript-agents # Core
pip install flowscript-agents[langgraph] # + LangGraph adapter
pip install flowscript-agents[crewai] # + CrewAI adapter
pip install flowscript-agents[all] # Everything (9 frameworks)Bracket syntax matters — it installs framework-specific dependencies.
FlowScript operates at three levels. Pick where you start:
Level 1 — Reasoning graph, no API keys. Use the Memory class directly to build typed nodes (thoughts, questions, decisions) with explicit relationships (causes, tensions, alternatives). Sub-ms queries, zero external deps. This is the power-user API. Full docs →
Level 2 — Add vector search. Pass an embedder to UnifiedMemory for semantic similarity search alongside reasoning queries. Three providers: OpenAI, SentenceTransformers, Ollama. Details →
Level 3 — Full stack. Add an llm for auto-extraction (plain text → typed nodes) and a consolidation_provider for contradiction handling. Or just use the MCP server, which auto-configures all of this from a single API key.
With the MCP server running and the CLAUDE.md snippet in your project, try this conversation:
"I need to decide between PostgreSQL and MongoDB for our user data. We need ACID compliance for payments but flexibility for user profiles."
Your agent stores the decision context, tradeoffs, and rationale automatically. Now introduce contradictory information:
"Actually, I've been looking at DynamoDB. The scale requirements might matter more than I thought."
Now ask:
"What tensions do we have in our architecture decisions?"
FlowScript preserved both perspectives (PostgreSQL's ACID compliance vs DynamoDB's scalability) as a queryable tension instead of deleting the first decision. That's what RELATE > DELETE means in practice.
After a few sessions, try:
- "What's blocking our progress?" surfaces blockers and their downstream impact
- "Why did we choose PostgreSQL originally?" traces the full causal chain
- "What if we switch to DynamoDB?" maps the downstream consequences
After 20 sessions, you have a curated knowledge base of your project's decisions, not a pile of notes. Knowledge that stays relevant graduates through temporal tiers. One-off observations fade naturally.
Drop-in adapters that implement your framework's native interface. Same API you already use — plus query.tensions().
from flowscript_agents.langgraph import FlowScriptStore
with FlowScriptStore("agent-memory.json") as store:
# Standard LangGraph BaseStore operations
store.put(("agents", "planner"), "db_decision", {"value": "chose Redis for speed"})
items = store.search(("agents", "planner"), query="Redis")
# What's new — typed reasoning queries on the same data
tensions = store.memory.query.tensions()
blockers = store.memory.query.blocked()
# Resolve a store key to its full reasoning context
node = store.resolve(("agents", "planner"), "db_decision")| Framework | Adapter | Install |
|---|---|---|
| LangGraph | FlowScriptStore → BaseStore |
[langgraph] |
| CrewAI | FlowScriptStorage → StorageBackend |
[crewai] |
| Google ADK | FlowScriptMemoryService → BaseMemoryService |
[google-adk] |
| OpenAI Agents | FlowScriptSession → Session |
[openai-agents] |
| Pydantic AI | FlowScriptDeps → Deps + tools |
[pydantic-ai] |
| smolagents | FlowScriptMemory → Tool protocol |
[smolagents] |
| LlamaIndex | FlowScriptMemoryBlock → BaseMemoryBlock |
[llamaindex] |
| Haystack | FlowScriptMemoryStore → MemoryStore |
[haystack] |
| CAMEL-AI | FlowScriptCamelMemory → AgentMemory |
[camel-ai] |
All adapters expose .memory for query access, support with blocks, and accept optional embedder/llm/consolidation_provider for vector search and extraction. Per-framework examples →
Every other memory system handles contradictions by deleting. Mem0's consolidation uses ADD/UPDATE/DELETE/NONE — when facts contradict, the old memory is replaced. LangGraph's langmem does the same. CrewAI's consolidation is flat keep/update/delete.
FlowScript doesn't delete. It relates.
When consolidation detects a contradiction, it creates a RELATE — a tension with a named axis. Both memories survive. The disagreement itself becomes queryable knowledge.
| Action | What happens |
|---|---|
ADD |
New knowledge, no existing match |
UPDATE |
Enriches existing node with new detail |
RELATE |
Contradiction detected — both sides preserved as a queryable tension |
RESOLVE |
Blocker condition changed — downstream decisions unblocked |
SKIP |
Exact duplicate, no action |
You can't audit a deletion. You can query a tension.
Every mutation is SHA-256 hash-chained, append-only, crash-safe. Verify the full chain in one call:
from flowscript_agents import Memory, MemoryOptions, AuditConfig
mem = Memory.load_or_create("agent.json",
options=MemoryOptions(audit=AuditConfig(retention_months=84)))
# ... agent does work ...
result = Memory.verify_audit("agent.audit.jsonl")
# → AuditVerifyResult(valid=True, total_entries=42, files_verified=1)Framework attribution is automatic — every audit entry records which adapter triggered it. Query by time range, event type, adapter, or session. Rotation with gzip compression. on_event callback for SIEM integration. Full audit trail docs →
Just like a mind needs sleep to consolidate memories, your agent's reasoning graph needs regular session wraps to develop intelligence over time. Without consolidation cycles, knowledge accumulates as noise instead of maturing.
Temporal tiers — nodes graduate based on actual use:
| Tier | Meaning | Behavior |
|---|---|---|
current |
Recent observations | May be pruned if not reinforced |
developing |
Emerging patterns (2+ touches) | Building confidence |
proven |
Validated through use (3+ touches) | Protected from pruning |
foundation |
Core truths | Always preserved |
Every query touches returned nodes — knowledge that keeps getting queried earns its place. One-off observations fade naturally. Dormant nodes are pruned to the audit trail — archived with full provenance, never destroyed.
Three ways session wraps happen:
- Explicit — the LLM calls the
session_wraptool when you say "let's wrap up" (best results) - Auto-wrap — after 5 minutes of inactivity, the MCP server auto-consolidates (safety net, configurable via
FLOWSCRIPT_AUTO_WRAP_MINUTES, set to0to disable) - Process exit — when the MCP server shuts down, a final consolidation runs automatically
For SDK users — adapters support context managers that auto-wrap:
from flowscript_agents.langgraph import FlowScriptStore
with FlowScriptStore("agent-memory.json") as store:
# work happens — all mutations auto-save
store.put(("agents",), "key", {"value": "data"})
# close() fires automatically → session_wrap() + saveAfter 20 sessions, your memory is a curated knowledge base, not a pile of notes. Full lifecycle details →
MCP tool descriptions are the prompts your LLM reads. If they're mutated in-process, the LLM silently follows poisoned instructions. The FlowScript MCP server includes three-layer integrity verification — a reference implementation of deterministic description integrity for MCP:
verify_integritytool — LLM-callable. SHA-256 hashes of all tool definitions, deep-frozen at startup (MappingProxyType). Detects in-process mutation by malicious dependencies, monkey-patching, or middleware.flowscript://integrity/manifestresource — Host-verifiable. Claude Code / Cursor can verify descriptions without LLM involvement.tool-integrity.json— Build-time root of trust. Generated viaflowscript-mcp --generate-manifest, ships in the package.
Both the Python and TypeScript MCP servers implement this architecture. Honest threat model: detects in-process mutation, not supply chain or transport-layer attacks. Full discussion →
Every agent framework gives AI agents memory. None make that memory auditable, typed, or queryable at the reasoning level. That's the layer FlowScript occupies.
| FlowScript | Mem0 | Vector stores | |
|---|---|---|---|
| Find similar content | Vector search | Vector search | Vector search |
| "Why did we decide X?" | why() — typed causal chain |
— | — |
| "What's blocking?" | blocked() — downstream impact |
— | — |
| "What tradeoffs?" | tensions() — named axes |
— | — |
| "What if we change this?" | whatIf() — impact analysis |
— | — |
| Contradictions | RELATE — both sides preserved |
DELETE — replaced |
N/A |
| Audit trail | SHA-256 hash chain | — | — |
| Temporal graduation | Automatic 4-tier | — | — |
| Token budgeting | 4 strategies | — | — |
Under the hood: a local semantic graph with typed nodes, typed relationships, and typed states. Queries traverse structure — no embeddings required, no LLM calls, no network. Sub-ms on project-scale graphs.
Vector search and reasoning queries are orthogonal — use both. Mem0 for retrieval, FlowScript for reasoning. They're different architectural layers.
FlowScript's typed reasoning chains are also compliance-ready audit infrastructure. This isn't a separate product — it's a structural property of how FlowScript works.
EU AI Act (Articles 12, 13, 86):
| Requirement | Article | How FlowScript satisfies it |
|---|---|---|
| Record-keeping | Art. 12 | Hash-chained audit trail, append-only, tamper-evident, 7yr default retention |
| Transparency | Art. 13 | why() queries return typed causal chains — not reconstructions, actual reasoning records |
| Right to explanation | Art. 86 | alternatives() reconstructs what was considered, what was chosen, and the rationale |
Enforcement begins August 2026. Audit trails can't be backdated. Organizations using FlowScript today have unbroken reasoning records from day one. You can turn on logging tomorrow — you can't manufacture the last 18 months of decision provenance.
Architecture:
┌─────────────────────────────────────────────────────┐
│ Your Agent Framework (LangGraph, CrewAI, ADK, ...) │
├─────────────────────────────────────────────────────┤
│ FlowScript SDK — Typed Reasoning Layer │
│ ┌──────────┐ ┌──────────┐ ┌──────────────────────┐ │
│ │ Memory │ │ Queries │ │ Audit Trail │ │
│ │ (graph) │ │ (5 ops) │ │ (SHA-256 hash chain) │ │
│ └──────────┘ └──────────┘ └──────────────────────┘ │
├─────────────────────────────────────────────────────┤
│ Your Storage (files, database, cloud) │
└─────────────────────────────────────────────────────┘
FlowScript doesn't replace your stack. It sits between your agent framework and your storage, adding typed reasoning and audit to whatever you already use.
Three independent CVE clusters dropped in the same week — MCPwned (SSRF via MCP trust boundaries), ClawHub (1,100+ malicious skills in agent marketplaces), and ClawJacked (CVE-2026-25253, CVSS 8.8, 15,200 affected instances). All share the same structural root cause: unvalidated content flowing through agent invocation paths.
You can't patch this at the application layer. The invocation path itself is untyped.
FlowScript's typed intermediate representation doesn't prevent every attack class — SSRF and transport-layer poisoning need different tools. What it makes structurally impossible is the deeper problem: reasoning corruption. Untraceable decisions, silent contradictions, unaudited state changes — these can't exist in a well-typed FlowScript graph. The type system makes them unrepresentable.
This is the same architectural insight behind CHERI: Cambridge proved that making unsafe states hardware-inexpressible eliminates 70% of memory-safety CVEs — structural prevention beats behavioral detection. FlowScript applies this insight at the cognitive layer. The enforcement boundary is different (SDK type system vs. hardware capabilities), but the principle is identical: make the violation unrepresentable rather than hoping to catch it after the fact.
If you've read this far, you're ready for the deeper structure.
The five queries and the audit trail are what FlowScript does. Here's what it is, and why it matters beyond any single application.
Musical notation didn't record what musicians were already playing. Before staff notation, European music was monophonic — single melodies, loosely coordinated. Notation made polyphony possible. Bach's fugues are literally unthinkable without it — not "hard to remember," but impossible to compose, because the simultaneous interaction of independent voices requires a representational system precise enough to reason about counterpoint.
Notation expanded the space of possible musical thought.
FlowScript does the same thing for AI cognition. It doesn't record what agents are already thinking. It makes a new category of AI reasoning possible — the kind where you can have multiple reasoning chains interacting, where you can query across causal paths, where contradictions become structured tensions instead of silent overwrites. This category of reasoning is impossible in the vector-search paradigm because vector search has no representation for why.
FlowScript's type system makes malformed reasoning unrepresentable. Every decision traces to a question through alternatives. Every contradiction becomes a typed tension with a named axis. Every state change gets an audited reason. These constraints give FlowScript a property familiar from type theory: well-typedness implies safety. A well-formed FlowScript graph can always be queried — no stuck states, no silent contradictions, no untraceable decisions. The type structure doesn't constitute formal proofs in the Curry-Howard sense, but it does what good type systems do: make certain classes of malformed state structurally unrepresentable.
Compression reveals structure that verbosity hides. When you force AI reasoning through typed encoding, you force the extraction of structure that would otherwise remain implicit in natural language. This maps to a deep result in information theory: the minimum description of a dataset is its structure. Optimal compression and genuine understanding are the same operation. FlowScript's temporal tiers — where knowledge graduates from observation to principle through use — implement this: each compression cycle distills signal from noise, and the resulting structure is more useful than the verbose original.
The metacognitive loop. When an AI agent writes FlowScript, queries its own reasoning graph, discovers tensions or gaps, and generates new reasoning informed by that structure — it's not just remembering. It's reasoning about its own reasoning through a typed, queryable substrate. This is metacognition, and it's the category of thought that FlowScript makes possible that no vector store can touch.
This isn't just good engineering — there's math behind it. Recent work in formal epistemology applied AGM belief revision postulates — the mathematical framework for rational belief change — and proved that deletion violates core rationality requirements. When you delete a contradicted memory, you destroy information that the formal framework says a rational agent must preserve. FlowScript's RELATE > DELETE approach satisfies these postulates: preserve contradictions as tensions, maintain provenance chains, never destroy reasoning history. The formal result says deletion is irrational. FlowScript is the implementation that takes that seriously.
FlowScript is infrastructure. Not a tool. Not a framework. Not a compliance product. Infrastructure — like SQL gave us queryable data, TCP/IP gave us addressable communication, and Git gave us trackable changes. FlowScript gives AI agents queryable reasoning. Everything else — compliance, security, memory, observability — is an application of that infrastructure.
The applications are what you install FlowScript for. The infrastructure is why it matters.
| Package | What | Install |
|---|---|---|
| flowscript-agents | Python SDK — 9 adapters, unified memory, consolidation, audit trail | pip install flowscript-agents openai |
| flowscript-core | TypeScript SDK — Memory class, 15 tools, token budgeting, audit trail | npm install flowscript-core |
| flowscript.org | Web editor, D3 visualization, live query panel | Browser |
1,315 tests across Python (584) and TypeScript (731). Same audit trail format and canonical JSON serialization across both languages.
- API Reference — Memory, UnifiedMemory, AuditConfig, queries
- Framework Adapters — per-framework examples and integration guides
- Audit Trail — configuration, SIEM integration, compliance
- Session Lifecycle — temporal tiers, persistence, multi-session patterns
- Single-writer audit: Two processes writing the same audit file will corrupt the hash chain. One writer per memory file.
- File-based persistence: JSON file storage via
save(). For shared or multi-agent setups, use separate memory files per agent. - Extraction quality varies by model: gpt-4o-mini handles most content well. Complex contradictory content may produce fallback ADDs instead of RELATE operations. Results improve with larger models.
MIT. Built by Phillip Clapham.

